1. Constructive Methods in Computing Science :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA75
.
5
E358
1989
2. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
3. Control Flow and Data Flow:
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Microprogramming.
رده :
QA76
.
9
.
D5
E358
1986
4. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
5. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses. ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
6. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
7. Engineering methods and tools for software safety and security
پدیدآورنده : [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering-- Data processing.,Engineering-- Methodology.
رده :
TA345
.
E64
2009eb
8. Engineering theories of software construction
پدیدآورنده : / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : طراح‍ی س‍ی‍س‍ت‍م,ن‍رم اف‍زار -- مهندسی
رده :
QA
۷۶
/
۷۵۸
/
ال
ف
۸ ۱۳۸۰
9. Formal Methods in Programming and Their Applications :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
10. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
11. Logic of programming and calculi of discrete design
پدیدآورنده : edited by Manfred Broy
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
12. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
13. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
14. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
15. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
16. Pioneers and Their Contributions to Software Engineering :
پدیدآورنده : edited by Manfred Broy, Ernst Denert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2001
17. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
18. Programming and Mathematical Method :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1992
19. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
20. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
